Propositional function - PDFSEARCH.IO - Document Search Engine

Propositional function
Results: 162

#	Item
31	ZU064-05-FPR linearpi 20 December 2013 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2014-03-17 07:07:57 Proof theory Deduction Propositional calculus Logic in computer science Non-classical logic Natural deduction Function Π-calculus Curry–Howard correspondence Logic Mathematical logic Mathematics
32	/home/lwb/beta/doc/ref/ref_lwb2.dvi Add to Reading List Source URL: www.lwb.unibe.ch Language: English - Date: 2010-05-25 07:04:51 Modal logic Proof theory Boolean algebra Functions and mappings Propositional calculus Provable Provability logic Function Default logic Mathematical logic Logic Mathematics
33	Revising by an Inconsistent Set of Formulas James Delgrande School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6 Canada Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2012-08-16 12:31:54 Philosophical logic Philosophy of language Model theory Belief revision Entailment Interpretation Constructible universe Function Logical connective Logic Logical syntax Propositional calculus
34	Joseph MuscatLogic Add to Reading List Source URL: staff.um.edu.mt Language: English - Date: 2014-08-12 07:28:59 Propositional calculus Logical truth Formal languages Philosophy of language Substitution Symbol Function Proposition Linear temporal logic Logic Mathematics Mathematical logic
35	The Ackermann Award 2009 J.A. Makowsky and A. Razborov Members of EACSL Jury for the Ackermann Award The ﬁfth Ackermann Award is presented at this CSL’09, held in Coimbra, Portugal. This is the third year in which th Add to Reading List Source URL: eacsl.kahle.ch Language: English - Date: 2013-12-08 17:58:05 Logic Wilhelm Ackermann Alexander Razborov Proof complexity DPLL algorithm Resolution Computational complexity theory Ackermann function Propositional proof system Theoretical computer science Mathematics Automated theorem proving
36	Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications Jyotishman Pathak1,2 Samik Basu1 Robyn Lutz1,3 Vasant Honavar1,2 1 Department of Computer Science, Iowa State University, Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-11-14 22:17:08 Entailment Logical syntax Metalogic Philosophical logic Propositional calculus Function Constraint logic programming Logic Mathematics Deduction
37	A Logic-based Approach to Decision Making Magdalena Ivanovska∗ and Martin Giese∗ Abstract We propose a novel approach to the well-studied problem of making a finite, ordered sequence of decisions under uncertainty. M Add to Reading List Source URL: www.nik.no Language: English - Date: 2012-02-29 03:37:49 Boolean algebra Model theory Logical syntax Metalogic Function Interpretation Propositional formula Bayesian network Influence diagram Logic Mathematical logic Propositional calculus
38	Mechanizing Proof for the Z Toolkit R.D. Arthan Lemma 1 Ltd. 2nd Floor, 31A Chain Street, Reading UK RG1 2HX Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2008-07-11 10:35:59 Propositional calculus Logical syntax Metalogic Predicate logic Principia Mathematica First-order logic Function Constructible universe Lambda calculus Logic Mathematics Mathematical logic
39	Sequent-Based Argumentation for Normative Reasoning Christian Straßer Ofer Arieli March 13, 2014 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2014-03-13 06:52:59 Deduction Functions and mappings Symbol Entailment Substitution Function Linear temporal logic Orbifold Logic Mathematics Propositional calculus
40	Hierarchical Automatic Function Definition in Genetic Programming John R. Koza Computer Science Department Stanford University Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:17:24 Abstract algebra Functions and mappings Propositional calculus Logic Circuit complexity Parity function Function Boolean data type Parity Mathematics Boolean algebra Mathematical analysis

UPDATE